1

Photographs from Germany, East

Année:
1993
Langue:
english
Fichier:
PDF, 3.28 MB
english, 1993
4

Knowing Your Students in Advance

Année:
1969
Langue:
english
Fichier:
PDF, 525 KB
english, 1969
6

Diagram Chase in Relational System Development

Année:
2005
Langue:
english
Fichier:
PDF, 293 KB
english, 2005
12

On the expressive power of Kleene algebra with domain

Année:
2016
Langue:
english
Fichier:
PDF, 241 KB
english, 2016
21

Self-Assembled Monodisperse Steroid Nanotubes in Water

Année:
2002
Langue:
english
Fichier:
PDF, 152 KB
english, 2002
23

Long-Range Molecular Organization of an Organic Monolayer Grafted on a Mineral Substrate

Année:
2006
Langue:
english
Fichier:
PDF, 446 KB
english, 2006
26

Can Refinement be Automated?

Année:
2008
Langue:
english
Fichier:
PDF, 375 KB
english, 2008
29

Internal axioms for domain semirings

Année:
2011
Langue:
english
Fichier:
PDF, 371 KB
english, 2011
39

Analysis of the cleaved topaz (001) surface

Année:
2003
Langue:
english
Fichier:
PDF, 217 KB
english, 2003
41

Automated verification of refinement laws

Année:
2009
Langue:
english
Fichier:
PDF, 411 KB
english, 2009
42

Wafer slicing by internal diameter sawing

Année:
1988
Langue:
english
Fichier:
PDF, 899 KB
english, 1988
43

Modal Tools for Separation and Refinement

Année:
2008
Langue:
english
Fichier:
PDF, 342 KB
english, 2008
44

A neutron scattering study of hydrogel surfaces

Année:
2004
Langue:
english
Fichier:
PDF, 254 KB
english, 2004
45

Geometric boundary condition for the chain alignment in lipid monolayers

Année:
2005
Langue:
english
Fichier:
PDF, 228 KB
english, 2005
46

Algebras of modal operators and partial correctness

Année:
2006
Langue:
english
Fichier:
PDF, 252 KB
english, 2006
47

Layer-by-layer assembled multicomposite films

Année:
1998
Langue:
english
Fichier:
PDF, 891 KB
english, 1998
48

Knuth-Bendix Completion for Non-Symmetric Transitive Relations

Année:
2001
Langue:
english
Fichier:
PDF, 193 KB
english, 2001